Simulation of Mosca speci cations in

mosca is an experimental language to extend the Vienna Development Method specii-cation language VDM-SL to be applicable in the area of developing distributed, parallel and real-time systems. As is generally known, plain VDM is not adequate for these application areas since it lacks facilities to specify multiple threads of control and it does not allow the use of time within speciications. mosca is designed to overcome these restrictions. The paper reports on the development of a mechanical transformation of mosca speci-cations into executable Ada programs. The paper highlights the transformation of mosca types, the implementation of pattern matching, the realisation of mosca agents through Ada tasks and the realisation of time.